Although you can find everything you need for the course online, you may also be interested in having a book or two to study on your own.

You might be able to borrow these books from Anya, if you're interested

General Books

• Michael L. Scott, Programming Language Pragmatics, 3rd ed. Morgan-Kaufmann, 2009. ISBN 978-0-12-374514-9. Available online from UBB: https://bibsys-almaprimo.hosted.exlibrisgroup.com/UBB:default_scope:TN_eblEBL649018

  Highly Recommended! (Also by current and former students.) Gives a great overview of programming languages, parsing, analysis, compilation, typing, optimisation and such. Covers many of the things we'll talk about in the course, and many other things as well.

Classic Compiler Books

• Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman, Compilers: Principles, Techniques, and Tools, 2nd ed. Addison Wesley, 2006. ISBN 978-0-32-148681-3 Older edition available from UBB: https://bibsys-almaprimo.hosted.exlibrisgroup.com:443/UBB:default_scope:BIBSYS_ILS71507198700002201

  The classic ‘dragon book’.

• Kenneth C. Louden, Compiler Construction – Principles and Practice, Cengage Learning 1997. ISBN 978-0-53-493972-4. Available from UBB: https://bibsys-almaprimo.hosted.exlibrisgroup.com:443/UBB:default_scope:BIBSYS_ILS71470717180002201

• Andrew W. Appel, Modern Compiler Implementation in ML (also available in C and Java versions), Cambridge University Press, 2004. ISBN 978-0-52-160764-3. Available from UBB: https://bibsys-almaprimo.hosted.exlibrisgroup.com:443/UBB:default_scope:BIBSYS_ILS71479041990002201

Type Theory

• Benjamin C. Pierce, Types and Programming Languages, The MIT Press, 2002. ISBN 978-0-26-2162098. Available from UBB: https://bibsys-almaprimo.hosted.exlibrisgroup.com:443/UBB:default_scope:BIBSYS_ILS71461658710002201

  The ultimate book on types; mostly too advanced for INF225, though.

Other Stuff

• Bettini, Implementing Domain-Specific Languages with Xtext and Xtend